Nuprl Definition : w-withlnk
11,40
postcript
pdf
withlnk(
l
;
mss
) == mapfilter(
ms
.
ms
.2;
ms
.mlnk(
ms
) =
l
;
mss
)
latex
Definitions
mlnk(
m
)
,
a
=
b
,
t
.2
,
mapfilter(
f
;
P
;
L
)
,
withlnk(
l
;
mss
)
FDL editor aliases
w-withlnk
origin
ms.ms.2;ms.mlnk(ms) = l;mss) ms.ms.2;ms.mlnk(ms) = l;mss)